Formal Analysis of Human-Assisted Smart City Emergency Services
نویسندگان
چکیده
منابع مشابه
Analysis of Spatial Distribution of Pre-hospital Emergency Medical Services in Traffic Accidents: Mashhad City, Iran
Background: Physical access to health services is determined by the geographic location of the patient. This study aims to distribute the bases and hospitals of Mashhad City, Iran, and the extent of coverage of the bases in traffic accidents. Materials and Methods: This research is a descriptive cross-sectional and applied study. The study population for high-accident points includes 21142 mis...
متن کاملManaging Emergency Situations in the Smart City: The Smart Signal
In a city there are numerous items, many of them unnoticed but essential; this is the case of the signals. Signals are considered objects with reduced technological interest, but in this paper we prove that making them smart and integrating in the IoT (Internet of Things) could be a relevant contribution to the Smart City. This paper presents the concept of Smart Signal, as a device conscious o...
متن کاملSONATA: Social Network Assisted Trustworthiness Assurance in Smart City Crowdsensing
With the advent of mobile cloud computing paradigm, mobile social networks (MSNs) have become attractive tools to share, publish and analyze data regarding everyday behavior of mobile users. Besides revealing information about social interactions between individuals, MSNs can assist smart city applications through crowdsensing services. In presence of malicious users who aim at misinformation t...
متن کاملUsing Citygml to Deploy Smart-city Services for Urban Ecosystems
The rapid technological evolution, which is characterizing all the disciplines involved within the wide concept of smart cities, becomes a key factor to trigger true user-driven innovation. In this context 3D city models will play an increasingly important role in our daily lives and become an essential part of the modern city information infrastructure (Spatial Data Infrastructure). The goal o...
متن کاملEPIC: A holistic approach for Smart City Services
Clouds have considerably changed the design and provisioning of modern ICT applications creating ecosystems of services that ease and simplify the related technical and business processes. However, the above mainly refers to the private sector with the solutions targeting the public sector and cities to be few and also limited in terms of capabilities and acceptance. In this paper we present an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2913784